Optimal. Leaf size=239 \[ -\frac {\sqrt {a+b x+c x^2}}{1024 c^3 d^{11} (b+2 c x)^6}+\frac {\sqrt {a+b x+c x^2}}{4096 c^3 \left (b^2-4 a c\right ) d^{11} (b+2 c x)^4}+\frac {3 \sqrt {a+b x+c x^2}}{8192 c^3 \left (b^2-4 a c\right )^2 d^{11} (b+2 c x)^2}-\frac {\left (a+b x+c x^2\right )^{3/2}}{128 c^2 d^{11} (b+2 c x)^8}-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}}+\frac {3 \tan ^{-1}\left (\frac {2 \sqrt {c} \sqrt {a+b x+c x^2}}{\sqrt {b^2-4 a c}}\right )}{16384 c^{7/2} \left (b^2-4 a c\right )^{5/2} d^{11}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.12, antiderivative size = 239, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 4, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.154, Rules used = {698, 707, 702,
211} \begin {gather*} \frac {3 \text {ArcTan}\left (\frac {2 \sqrt {c} \sqrt {a+b x+c x^2}}{\sqrt {b^2-4 a c}}\right )}{16384 c^{7/2} d^{11} \left (b^2-4 a c\right )^{5/2}}+\frac {3 \sqrt {a+b x+c x^2}}{8192 c^3 d^{11} \left (b^2-4 a c\right )^2 (b+2 c x)^2}+\frac {\sqrt {a+b x+c x^2}}{4096 c^3 d^{11} \left (b^2-4 a c\right ) (b+2 c x)^4}-\frac {\sqrt {a+b x+c x^2}}{1024 c^3 d^{11} (b+2 c x)^6}-\frac {\left (a+b x+c x^2\right )^{3/2}}{128 c^2 d^{11} (b+2 c x)^8}-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 211
Rule 698
Rule 702
Rule 707
Rubi steps
\begin {align*} \int \frac {\left (a+b x+c x^2\right )^{5/2}}{(b d+2 c d x)^{11}} \, dx &=-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}}+\frac {\int \frac {\left (a+b x+c x^2\right )^{3/2}}{(b d+2 c d x)^9} \, dx}{8 c d^2}\\ &=-\frac {\left (a+b x+c x^2\right )^{3/2}}{128 c^2 d^{11} (b+2 c x)^8}-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}}+\frac {3 \int \frac {\sqrt {a+b x+c x^2}}{(b d+2 c d x)^7} \, dx}{256 c^2 d^4}\\ &=-\frac {\sqrt {a+b x+c x^2}}{1024 c^3 d^{11} (b+2 c x)^6}-\frac {\left (a+b x+c x^2\right )^{3/2}}{128 c^2 d^{11} (b+2 c x)^8}-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}}+\frac {\int \frac {1}{(b d+2 c d x)^5 \sqrt {a+b x+c x^2}} \, dx}{2048 c^3 d^6}\\ &=-\frac {\sqrt {a+b x+c x^2}}{1024 c^3 d^{11} (b+2 c x)^6}+\frac {\sqrt {a+b x+c x^2}}{4096 c^3 \left (b^2-4 a c\right ) d^{11} (b+2 c x)^4}-\frac {\left (a+b x+c x^2\right )^{3/2}}{128 c^2 d^{11} (b+2 c x)^8}-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}}+\frac {3 \int \frac {1}{(b d+2 c d x)^3 \sqrt {a+b x+c x^2}} \, dx}{8192 c^3 \left (b^2-4 a c\right ) d^8}\\ &=-\frac {\sqrt {a+b x+c x^2}}{1024 c^3 d^{11} (b+2 c x)^6}+\frac {\sqrt {a+b x+c x^2}}{4096 c^3 \left (b^2-4 a c\right ) d^{11} (b+2 c x)^4}+\frac {3 \sqrt {a+b x+c x^2}}{8192 c^3 \left (b^2-4 a c\right )^2 d^{11} (b+2 c x)^2}-\frac {\left (a+b x+c x^2\right )^{3/2}}{128 c^2 d^{11} (b+2 c x)^8}-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}}+\frac {3 \int \frac {1}{(b d+2 c d x) \sqrt {a+b x+c x^2}} \, dx}{16384 c^3 \left (b^2-4 a c\right )^2 d^{10}}\\ &=-\frac {\sqrt {a+b x+c x^2}}{1024 c^3 d^{11} (b+2 c x)^6}+\frac {\sqrt {a+b x+c x^2}}{4096 c^3 \left (b^2-4 a c\right ) d^{11} (b+2 c x)^4}+\frac {3 \sqrt {a+b x+c x^2}}{8192 c^3 \left (b^2-4 a c\right )^2 d^{11} (b+2 c x)^2}-\frac {\left (a+b x+c x^2\right )^{3/2}}{128 c^2 d^{11} (b+2 c x)^8}-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}}+\frac {3 \text {Subst}\left (\int \frac {1}{2 b^2 c d-8 a c^2 d+8 c^2 d x^2} \, dx,x,\sqrt {a+b x+c x^2}\right )}{4096 c^2 \left (b^2-4 a c\right )^2 d^{10}}\\ &=-\frac {\sqrt {a+b x+c x^2}}{1024 c^3 d^{11} (b+2 c x)^6}+\frac {\sqrt {a+b x+c x^2}}{4096 c^3 \left (b^2-4 a c\right ) d^{11} (b+2 c x)^4}+\frac {3 \sqrt {a+b x+c x^2}}{8192 c^3 \left (b^2-4 a c\right )^2 d^{11} (b+2 c x)^2}-\frac {\left (a+b x+c x^2\right )^{3/2}}{128 c^2 d^{11} (b+2 c x)^8}-\frac {\left (a+b x+c x^2\right )^{5/2}}{20 c d^{11} (b+2 c x)^{10}}+\frac {3 \tan ^{-1}\left (\frac {2 \sqrt {c} \sqrt {a+b x+c x^2}}{\sqrt {b^2-4 a c}}\right )}{16384 c^{7/2} \left (b^2-4 a c\right )^{5/2} d^{11}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 5 vs. order 3 in
optimal.
time = 10.03, size = 62, normalized size = 0.26 \begin {gather*} \frac {2 (a+x (b+c x))^{7/2} \, _2F_1\left (\frac {7}{2},6;\frac {9}{2};\frac {4 c (a+x (b+c x))}{-b^2+4 a c}\right )}{7 \left (b^2-4 a c\right )^6 d^{11}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(609\) vs.
\(2(207)=414\).
time = 0.70, size = 610, normalized size = 2.55
method | result | size |
default | \(\frac {-\frac {2 c \left (\left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{4 c}\right )^{\frac {7}{2}}}{5 \left (4 a c -b^{2}\right ) \left (x +\frac {b}{2 c}\right )^{10}}-\frac {6 c^{2} \left (-\frac {c \left (\left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{4 c}\right )^{\frac {7}{2}}}{2 \left (4 a c -b^{2}\right ) \left (x +\frac {b}{2 c}\right )^{8}}-\frac {c^{2} \left (-\frac {2 c \left (\left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{4 c}\right )^{\frac {7}{2}}}{3 \left (4 a c -b^{2}\right ) \left (x +\frac {b}{2 c}\right )^{6}}+\frac {2 c^{2} \left (-\frac {c \left (\left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{4 c}\right )^{\frac {7}{2}}}{\left (4 a c -b^{2}\right ) \left (x +\frac {b}{2 c}\right )^{4}}+\frac {3 c^{2} \left (-\frac {2 c \left (\left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{4 c}\right )^{\frac {7}{2}}}{\left (4 a c -b^{2}\right ) \left (x +\frac {b}{2 c}\right )^{2}}+\frac {10 c^{2} \left (\frac {\left (\left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{4 c}\right )^{\frac {5}{2}}}{5}+\frac {\left (4 a c -b^{2}\right ) \left (\frac {\left (\left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{4 c}\right )^{\frac {3}{2}}}{3}+\frac {\left (4 a c -b^{2}\right ) \left (\frac {\sqrt {4 \left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{c}}}{2}-\frac {\left (4 a c -b^{2}\right ) \ln \left (\frac {\frac {4 a c -b^{2}}{2 c}+\frac {\sqrt {\frac {4 a c -b^{2}}{c}}\, \sqrt {4 \left (x +\frac {b}{2 c}\right )^{2} c +\frac {4 a c -b^{2}}{c}}}{2}}{x +\frac {b}{2 c}}\right )}{2 c \sqrt {\frac {4 a c -b^{2}}{c}}}\right )}{4 c}\right )}{4 c}\right )}{4 a c -b^{2}}\right )}{4 a c -b^{2}}\right )}{3 \left (4 a c -b^{2}\right )}\right )}{2 \left (4 a c -b^{2}\right )}\right )}{5 \left (4 a c -b^{2}\right )}}{2048 d^{11} c^{11}}\) | \(610\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1042 vs.
\(2 (207) = 414\).
time = 70.68, size = 2114, normalized size = 8.85 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \frac {\int \frac {a^{2} \sqrt {a + b x + c x^{2}}}{b^{11} + 22 b^{10} c x + 220 b^{9} c^{2} x^{2} + 1320 b^{8} c^{3} x^{3} + 5280 b^{7} c^{4} x^{4} + 14784 b^{6} c^{5} x^{5} + 29568 b^{5} c^{6} x^{6} + 42240 b^{4} c^{7} x^{7} + 42240 b^{3} c^{8} x^{8} + 28160 b^{2} c^{9} x^{9} + 11264 b c^{10} x^{10} + 2048 c^{11} x^{11}}\, dx + \int \frac {b^{2} x^{2} \sqrt {a + b x + c x^{2}}}{b^{11} + 22 b^{10} c x + 220 b^{9} c^{2} x^{2} + 1320 b^{8} c^{3} x^{3} + 5280 b^{7} c^{4} x^{4} + 14784 b^{6} c^{5} x^{5} + 29568 b^{5} c^{6} x^{6} + 42240 b^{4} c^{7} x^{7} + 42240 b^{3} c^{8} x^{8} + 28160 b^{2} c^{9} x^{9} + 11264 b c^{10} x^{10} + 2048 c^{11} x^{11}}\, dx + \int \frac {c^{2} x^{4} \sqrt {a + b x + c x^{2}}}{b^{11} + 22 b^{10} c x + 220 b^{9} c^{2} x^{2} + 1320 b^{8} c^{3} x^{3} + 5280 b^{7} c^{4} x^{4} + 14784 b^{6} c^{5} x^{5} + 29568 b^{5} c^{6} x^{6} + 42240 b^{4} c^{7} x^{7} + 42240 b^{3} c^{8} x^{8} + 28160 b^{2} c^{9} x^{9} + 11264 b c^{10} x^{10} + 2048 c^{11} x^{11}}\, dx + \int \frac {2 a b x \sqrt {a + b x + c x^{2}}}{b^{11} + 22 b^{10} c x + 220 b^{9} c^{2} x^{2} + 1320 b^{8} c^{3} x^{3} + 5280 b^{7} c^{4} x^{4} + 14784 b^{6} c^{5} x^{5} + 29568 b^{5} c^{6} x^{6} + 42240 b^{4} c^{7} x^{7} + 42240 b^{3} c^{8} x^{8} + 28160 b^{2} c^{9} x^{9} + 11264 b c^{10} x^{10} + 2048 c^{11} x^{11}}\, dx + \int \frac {2 a c x^{2} \sqrt {a + b x + c x^{2}}}{b^{11} + 22 b^{10} c x + 220 b^{9} c^{2} x^{2} + 1320 b^{8} c^{3} x^{3} + 5280 b^{7} c^{4} x^{4} + 14784 b^{6} c^{5} x^{5} + 29568 b^{5} c^{6} x^{6} + 42240 b^{4} c^{7} x^{7} + 42240 b^{3} c^{8} x^{8} + 28160 b^{2} c^{9} x^{9} + 11264 b c^{10} x^{10} + 2048 c^{11} x^{11}}\, dx + \int \frac {2 b c x^{3} \sqrt {a + b x + c x^{2}}}{b^{11} + 22 b^{10} c x + 220 b^{9} c^{2} x^{2} + 1320 b^{8} c^{3} x^{3} + 5280 b^{7} c^{4} x^{4} + 14784 b^{6} c^{5} x^{5} + 29568 b^{5} c^{6} x^{6} + 42240 b^{4} c^{7} x^{7} + 42240 b^{3} c^{8} x^{8} + 28160 b^{2} c^{9} x^{9} + 11264 b c^{10} x^{10} + 2048 c^{11} x^{11}}\, dx}{d^{11}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: TypeError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (c\,x^2+b\,x+a\right )}^{5/2}}{{\left (b\,d+2\,c\,d\,x\right )}^{11}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________